Linear Logic
نویسنده
چکیده
Material for the course Lineare Logik mit Anwendungen, Technische Hochschule Darmstadt, Sommersemester 1996. Revised for the course Linear Logic at Carnegie Mellon University, Spring 1998, Fall 2001. Material for this course is available at http://www.cs.cmu.edu/~fp/courses/linear.html. Please send comments to [email protected] This material is in rough draft form and is likely to contain errors. Furthermore, citations are in no way adequate or complete. Please do not cite or distribute this document.
منابع مشابه
Linear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کاملUtilization of CHB Multilevel Inverter for Harmonic Reduction in Fuzzy Logic Controlled Multiphase LIM Drives
Background and Objectives: Despite superior privileges that multiphase motors offer in comparison with their three-phase counterparts, in the field of multiphase linear induction motors (LIMs) few studies have been reported until now. To combine the advantages of both multiphase motors and linear induction motors, this paper concentrates on multiphase LIM drives considering the end effects. Met...
متن کاملNurse rostering using fuzzy logic: A case study
In this paper, we used the fuzzy set theory for modeling flexible constraints and uncertain data in nurse scheduling problems and proposed a fuzzy linear model for nurse rostering problems. The developed model can produce rosters that satisfy hospital objectives, ward requirements and staff preferences by satisfying their requests as much as possible. Fuzzy sets are used for modeling demands of...
متن کاملType-2 fuzzy logic based pitch angle controller for fixed speed wind energy system
In this paper, an interval Type-2 fuzzy logic based pitch angle controller is proposed for fixed speed wind energy system (WES) to maintain the aerodynamic power at its rated value. The pitch angle reference is generated by the proposed controller which can compensate the non-linear characteristics of the pitch angle to the wind speed. The presence of third dimension in the Type-2 fuzzy logic c...
متن کاملA geographic information system for gas power plant location using analytical hierarchy process and fuzzy logic
This study recommends a GIS-based (Geographic Information Systems) and multi-criteria evaluation for site selection of gas power plant in Natanz City of Iran. The multi-criteria decision framework integrates legal requirements and physical constraints related to environmental and economic concerns. It also builds a hierarchy model for gas power plant suitability. The methodologies used for site...
متن کاملOn the multivariate process capability vector in fuzzy environment
The production of a process is expected to meet customer demands, specifications or engineering tolerances. The ability of a process to meet these expectations is expresed as a single number using a process capability index. When the quality of the products relates to more than one characteristic, multivariate process capability indices are applied. As it is known, in some circumstances we are ...
متن کامل